Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...
Homepage of André Platzer at Carnegie Mellon University. Dedicated to research on logic, computer science, and mathematics. Especially, verification of hybrid ...